我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于计算机应用领域中的（ )。

单选题 计算机 数学家 应用领域 吴文俊